21. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
22. Commonsense Reasoning
پدیدآورنده : \ Erik T. Mueller, IBM Watson Group and IBM Research.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
23. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
24. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
25. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
26. Mathematical logic and theoretical computer science
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
27. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
28. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
L8
1989
29. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011